Stochastic process algebras and their markovian semantics
نویسندگان
چکیده
منابع مشابه
Stochastic Process Algebras and their Application to
In this tutorial we present two major applications of process algebras to performance modelling. The rst is the use of classical or timed process algebra to verify simulation models. The second is the direct use of stochastic process algebras to construct and solve performance models. The tutorial presents an overview of the current trends and areas of active research, as well as their implicat...
متن کاملStochastic Petri net semantics for stochastic process algebras
In this paper we deene a Stochastic Petri Net (SPN) semantics for Stochastic Process Algebras (SPAs), a recently introduced formalism that ooers a novel approach for performance modeling. The proposed semantics is evaluated in terms of three criteria: Con-currency and Retrievability, as deened by Olderog for untimed net semantics, and Markov Equivalence for the stochastic aspects.
متن کاملSymbolic semantics and verification of stochastic process algebras
ion can be seen as the combination of all possible restrictions to a set of variables combined by an associative binary operator ⋆. Formally, this can be defined as follows: Abstract(B, (xi, ..., xm), ⋆) := B ∣ ∣ xi,...,xm:=(0,...,0) ⋆ ... ⋆ B ∣
متن کاملProbabilistic Branching in Markovian Process Algebras
We introduce immediate transitions as an extension of Stochastic Process Algebras (SPA). We distinguish two diierent classes of immediate transitions: probabilistic branching and management activities. We discuss both approaches and develop a theory for the probabilistic branching case. Although we use TIPP as a sample language within this paper, the theory can easily be adapted to other Stocha...
متن کاملStochastic Process Algebras
In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to suppor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGLOG News
سال: 2018
ISSN: 2372-3491
DOI: 10.1145/3212019.3212023